Integrals 1 to 4

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

509 509 264 838 0 0 0 0 0

N.S.

1 1.00 0.52 1.65 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.951 11.396 4.860 0.000 0.000 0.000 0.000 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

209 209 581 508 0 0 0 0 0

N.S.

1 1.00 2.78 2.43 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.535 17.917 4.767 0.000 0.000 0.000 0.000 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

208 208 375 464 0 0 0 0 0

N.S.

1 1.00 1.80 2.23 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.481 2.891 4.151 0.000 0.000 0.000 0.000 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

273 273 496 514 0 0 0 0 0

N.S.

1 1.00 1.82 1.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.717 16.821 4.839 0.000 0.000 0.000 0.000 0.000